Architecture-based verification of dependable embedded systems
- Författare
- Mälardalens högskola Andreas Johnsen
- (Andreas Johnsen., Licentiatavhandling Västerås : Mälardalens högskola, 2013, S. 41-46: Bibliografi, Med sammanfattning på svenska)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| School of Innovation, Design and Engineering, Mälardalen University | 2013 | Sverige, Västerås | xv, 129 sidor. ill. | 978-91-7485-112-0 |